" R. Hähnle and J. Posegga" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Advances in Cardiac Signal Processing

Автор: M. D'Agostino, Автор: D.M. Gabbay, Автор: R. Hähnle and J. Posegga

Категория: Наука (общее)

Размер книги: 49.74 Mb

Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95

Автор: Peter Baumgartner, Автор: Reiner Hähnle, Автор: Joachim Posegga

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 3.54 Mb